{[y]: Exists ( alpha : 2alpha = y)}
